STIT Based Deontic Logics for the Miners Puzzle

How do pessimistic agents save miners? A STIT based approach

This paper develops a new STIT based deontic logic, pessimistic utilitarian deontic logic, capable of analyzing the miners puzzle. The key idea of the semantics of this logic is: one set of possible worlds is better than another set of possible worlds iff the worst world in the first set is better than the worst world in the second. This semantics gives an idea to write predictions in the miner...

Stit, Iit, and Deontic Logic for Action Types

Stit Logics, Games, Knowledge, and Freedom

This paper has two main goals: highlighting the connections between Stit logics and game theory and comparing Stit logics with Matrix Game Logic, a Dynamic Logic introduced by van Benthem order to model some interesting epistemic notions from game theory. Achieving the first goal will prove the flexibility of Stit logics and their applicability in the logical foundations of game theory, and wil...

Properties of logics of individual and group agency

We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently been shown to be NEXPTIMEcomplete in the general case. Then we study STIT logic for groups of agents. We prove that satisfiability of STIT formulas involving groups of agents is undecidable by reducing the problem of s...

From Coalition Logic to STIT 1

STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form \agent a sees to it that '". We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. W...